/*
 * Metaverse Core
 * Copyright (C) 2010 Vyacheslav Vorobyov, All rights reserved.
 * See LICENSE for full license information.
 */
package org.metaverse.warehouse;

import java.util.Collection;

import org.metaverse.warehouse.com.Constraint;
import org.metaverse.warehouse.com.Variable;
import org.singularity.io.CloseableIterator;

/**
 * This is a service interface to provide an ability 
 * to solve a system of patterns of statements (senaries).
 * 
 * @author vjache
 *
 */
public interface Solver {
	CloseableIterator<Solution> solve(
			Collection<Constraint> aConstraints, Variable... aOrderBy);
}
